package procilege.impl.formatter;

import procilege.compute.ExprFormatTraveller;
import procilege.compute.PlaceTypeMetadata;
import procilege.compute.PlaceType;
import procilege.lang.RelationConformExpr;

@PlaceTypeMetadata(type = RelationConformExpr.class)
public class RelationConformFormatter implements PlaceType<ExprFormatTraveller> {

	public void visit(ExprFormatTraveller tr, Object place) {

		StringBuilder sb = tr.getBuilder();
		RelationConformExpr n = (RelationConformExpr) place;

		tr.setout(n.getLeft());
		sb.append("*~");
		tr.setout(n.getRight());
	}
}